On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·13h
🎯Performance Proofs
Human vs. AI in Logic Tasks: a Study
dailynous.com·7h
✓Automated Theorem Proving
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·21h·
Discuss: Hacker News
🔗Lisp
Prompt Engineering for Software Engineers
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·2d·
Discuss: Hacker News, r/programming
🎯Automata theory
Geometric and physical interpretation of the action principle
nature.com·5h·
Discuss: Hacker News
📚Archival Mathematics
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
λLambda Formalization
Kleene's Recursion Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🔤Type Theory
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·1h
🎯Arithmetic Coding Theory
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
🔗Monadic Parsing
Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.com·4h
🤖AI Paleography
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·1d
🔲Cellular Automata
Rich Answered That
gist.github.com·1h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Compiling a Functional Language to LLVM
danieljharvey.github.io·10h·
Discuss: Lobsters, Hacker News
🔗Lisp
Recognition-based Interactive Greeting System
hackster.io·1d
⚡Homebrew CPUs
Prompt Snapshot Testing
ninkovic.dev·19h·
Discuss: Hacker News
⚡Proof Automation
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·21h·
Discuss: Hacker News
🧠Machine Learning
How Python Implements List Comprehensions
pythonkoans.substack.com·16h·
Discuss: Substack
🔗Concatenative Programming
An Introduction to XForms
xml.com·3h·
Discuss: Hacker News
🐚Shell Calculus
TSPC: A Two-Stage Phoneme-Centric Architecture for code-switching Vietnamese-English Speech Recognition
arxiv.org·13h
🎙️Whisper